!bench

Benchmark results for 650d4a8 against 88330eb are in. No significant results found. @JovanGerb

• 🟥 build//instructions: +101.3G (+0.06%)

Medium changes (1🟥)

• 🟥 build/module/Mathlib.RingTheory.LaurentSeries//instructions: +21.9G (+10.57%)

Small changes (1✅, 6🟥)

• 🟥 build/module/Mathlib.Algebra.EuclideanDomain.Field//instructions: +248.9M (+4.43%)
• 🟥 build/module/Mathlib.Algebra.Order.Ring.Idempotent//instructions: +212.6M (+1.55%)
• 🟥 build/module/Mathlib.Analysis.Meromorphic.Divisor//instructions: +783.8M (+2.59%)
• 🟥 build/module/Mathlib.Analysis.Meromorphic.Order//instructions: +2.2G (+3.43%)
• ✅ build/module/Mathlib.Computability.AkraBazzi.SumTransform//instructions: -1.9G (-2.36%)
• 🟥 build/module/Mathlib.Lean.Elab.InfoTree//instructions: +87.2M (+3.71%)
• 🟥 build/module/Mathlib.RingTheory.AdicCompletion.Completeness//instructions: +4.1G (+8.52%)

PR summary 650d4a8cd0

Import changes for modified files

No significant changes to the import graph

## from your `mathlib4` directory:
git clone https://github.com/leanprover-community/mathlib-ci.git ../mathlib-ci

## summary with just the declaration names:
../mathlib-ci/scripts/pr_summary/declarations_diff.sh <optional_commit>

## more verbose report:
../mathlib-ci/scripts/pr_summary/declarations_diff.sh long <optional_commit>